/*
 * Copyright © 2024 Apple Inc. and the Pkl project authors. All rights reserved.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     https://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package org.pkl.core.util.xml;

import java.util.Arrays;

// Originally taken from:
// https://github.com/apache/xerces2-j/blob/8ce366ce9a20e7ffcb1dd37d0c4b5663d65b1f7d/src/org/apache/xerces/util/XMLChar.java
@SuppressWarnings("BooleanMethodIsAlwaysInverted")
final class Xml10Validator extends XmlValidator {
  private static final byte[] CHARS = new byte[1 << 16];
  private static final int MASK_NAME_START = 0x04;
  private static final int MASK_NAME = 0x08;

  static {
    CHARS[9] = 35;
    CHARS[10] = 19;
    CHARS[13] = 19;
    CHARS[32] = 51;
    CHARS[33] = 49;
    CHARS[34] = 33;
    Arrays.fill(CHARS, 35, 38, (byte) 49); // Fill 3 of value (byte) 49
    CHARS[38] = 1;
    Arrays.fill(CHARS, 39, 45, (byte) 49); // Fill 6 of value (byte) 49
    Arrays.fill(CHARS, 45, 47, (byte) -71); // Fill 2 of value (byte) -71
    CHARS[47] = 49;
    Arrays.fill(CHARS, 48, 58, (byte) -71); // Fill 10 of value (byte) -71
    CHARS[58] = 61;
    CHARS[59] = 49;
    CHARS[60] = 1;
    CHARS[61] = 49;
    CHARS[62] = 33;
    Arrays.fill(CHARS, 63, 65, (byte) 49); // Fill 2 of value (byte) 49
    Arrays.fill(CHARS, 65, 91, (byte) -3); // Fill 26 of value (byte) -3
    Arrays.fill(CHARS, 91, 93, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[93] = 1;
    CHARS[94] = 33;
    CHARS[95] = -3;
    CHARS[96] = 33;
    Arrays.fill(CHARS, 97, 123, (byte) -3); // Fill 26 of value (byte) -3
    Arrays.fill(CHARS, 123, 183, (byte) 33); // Fill 60 of value (byte) 33
    CHARS[183] = -87;
    Arrays.fill(CHARS, 184, 192, (byte) 33); // Fill 8 of value (byte) 33
    Arrays.fill(CHARS, 192, 215, (byte) -19); // Fill 23 of value (byte) -19
    CHARS[215] = 33;
    Arrays.fill(CHARS, 216, 247, (byte) -19); // Fill 31 of value (byte) -19
    CHARS[247] = 33;
    Arrays.fill(CHARS, 248, 306, (byte) -19); // Fill 58 of value (byte) -19
    Arrays.fill(CHARS, 306, 308, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 308, 319, (byte) -19); // Fill 11 of value (byte) -19
    Arrays.fill(CHARS, 319, 321, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 321, 329, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[329] = 33;
    Arrays.fill(CHARS, 330, 383, (byte) -19); // Fill 53 of value (byte) -19
    CHARS[383] = 33;
    Arrays.fill(CHARS, 384, 452, (byte) -19); // Fill 68 of value (byte) -19
    Arrays.fill(CHARS, 452, 461, (byte) 33); // Fill 9 of value (byte) 33
    Arrays.fill(CHARS, 461, 497, (byte) -19); // Fill 36 of value (byte) -19
    Arrays.fill(CHARS, 497, 500, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 500, 502, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 502, 506, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 506, 536, (byte) -19); // Fill 30 of value (byte) -19
    Arrays.fill(CHARS, 536, 592, (byte) 33); // Fill 56 of value (byte) 33
    Arrays.fill(CHARS, 592, 681, (byte) -19); // Fill 89 of value (byte) -19
    Arrays.fill(CHARS, 681, 699, (byte) 33); // Fill 18 of value (byte) 33
    Arrays.fill(CHARS, 699, 706, (byte) -19); // Fill 7 of value (byte) -19
    Arrays.fill(CHARS, 706, 720, (byte) 33); // Fill 14 of value (byte) 33
    Arrays.fill(CHARS, 720, 722, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 722, 768, (byte) 33); // Fill 46 of value (byte) 33
    Arrays.fill(CHARS, 768, 838, (byte) -87); // Fill 70 of value (byte) -87
    Arrays.fill(CHARS, 838, 864, (byte) 33); // Fill 26 of value (byte) 33
    Arrays.fill(CHARS, 864, 866, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 866, 902, (byte) 33); // Fill 36 of value (byte) 33
    CHARS[902] = -19;
    CHARS[903] = -87;
    Arrays.fill(CHARS, 904, 907, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[907] = 33;
    CHARS[908] = -19;
    CHARS[909] = 33;
    Arrays.fill(CHARS, 910, 930, (byte) -19); // Fill 20 of value (byte) -19
    CHARS[930] = 33;
    Arrays.fill(CHARS, 931, 975, (byte) -19); // Fill 44 of value (byte) -19
    CHARS[975] = 33;
    Arrays.fill(CHARS, 976, 983, (byte) -19); // Fill 7 of value (byte) -19
    Arrays.fill(CHARS, 983, 986, (byte) 33); // Fill 3 of value (byte) 33
    CHARS[986] = -19;
    CHARS[987] = 33;
    CHARS[988] = -19;
    CHARS[989] = 33;
    CHARS[990] = -19;
    CHARS[991] = 33;
    CHARS[992] = -19;
    CHARS[993] = 33;
    Arrays.fill(CHARS, 994, 1012, (byte) -19); // Fill 18 of value (byte) -19
    Arrays.fill(CHARS, 1012, 1025, (byte) 33); // Fill 13 of value (byte) 33
    Arrays.fill(CHARS, 1025, 1037, (byte) -19); // Fill 12 of value (byte) -19
    CHARS[1037] = 33;
    Arrays.fill(CHARS, 1038, 1104, (byte) -19); // Fill 66 of value (byte) -19
    CHARS[1104] = 33;
    Arrays.fill(CHARS, 1105, 1117, (byte) -19); // Fill 12 of value (byte) -19
    CHARS[1117] = 33;
    Arrays.fill(CHARS, 1118, 1154, (byte) -19); // Fill 36 of value (byte) -19
    CHARS[1154] = 33;
    Arrays.fill(CHARS, 1155, 1159, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 1159, 1168, (byte) 33); // Fill 9 of value (byte) 33
    Arrays.fill(CHARS, 1168, 1221, (byte) -19); // Fill 53 of value (byte) -19
    Arrays.fill(CHARS, 1221, 1223, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1223, 1225, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 1225, 1227, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1227, 1229, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 1229, 1232, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 1232, 1260, (byte) -19); // Fill 28 of value (byte) -19
    Arrays.fill(CHARS, 1260, 1262, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1262, 1270, (byte) -19); // Fill 8 of value (byte) -19
    Arrays.fill(CHARS, 1270, 1272, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1272, 1274, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 1274, 1329, (byte) 33); // Fill 55 of value (byte) 33
    Arrays.fill(CHARS, 1329, 1367, (byte) -19); // Fill 38 of value (byte) -19
    Arrays.fill(CHARS, 1367, 1369, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[1369] = -19;
    Arrays.fill(CHARS, 1370, 1377, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 1377, 1415, (byte) -19); // Fill 38 of value (byte) -19
    Arrays.fill(CHARS, 1415, 1425, (byte) 33); // Fill 10 of value (byte) 33
    Arrays.fill(CHARS, 1425, 1442, (byte) -87); // Fill 17 of value (byte) -87
    CHARS[1442] = 33;
    Arrays.fill(CHARS, 1443, 1466, (byte) -87); // Fill 23 of value (byte) -87
    CHARS[1466] = 33;
    Arrays.fill(CHARS, 1467, 1470, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[1470] = 33;
    CHARS[1471] = -87;
    CHARS[1472] = 33;
    Arrays.fill(CHARS, 1473, 1475, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[1475] = 33;
    CHARS[1476] = -87;
    Arrays.fill(CHARS, 1477, 1488, (byte) 33); // Fill 11 of value (byte) 33
    Arrays.fill(CHARS, 1488, 1515, (byte) -19); // Fill 27 of value (byte) -19
    Arrays.fill(CHARS, 1515, 1520, (byte) 33); // Fill 5 of value (byte) 33
    Arrays.fill(CHARS, 1520, 1523, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 1523, 1569, (byte) 33); // Fill 46 of value (byte) 33
    Arrays.fill(CHARS, 1569, 1595, (byte) -19); // Fill 26 of value (byte) -19
    Arrays.fill(CHARS, 1595, 1600, (byte) 33); // Fill 5 of value (byte) 33
    CHARS[1600] = -87;
    Arrays.fill(CHARS, 1601, 1611, (byte) -19); // Fill 10 of value (byte) -19
    Arrays.fill(CHARS, 1611, 1619, (byte) -87); // Fill 8 of value (byte) -87
    Arrays.fill(CHARS, 1619, 1632, (byte) 33); // Fill 13 of value (byte) 33
    Arrays.fill(CHARS, 1632, 1642, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 1642, 1648, (byte) 33); // Fill 6 of value (byte) 33
    CHARS[1648] = -87;
    Arrays.fill(CHARS, 1649, 1720, (byte) -19); // Fill 71 of value (byte) -19
    Arrays.fill(CHARS, 1720, 1722, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1722, 1727, (byte) -19); // Fill 5 of value (byte) -19
    CHARS[1727] = 33;
    Arrays.fill(CHARS, 1728, 1743, (byte) -19); // Fill 15 of value (byte) -19
    CHARS[1743] = 33;
    Arrays.fill(CHARS, 1744, 1748, (byte) -19); // Fill 4 of value (byte) -19
    CHARS[1748] = 33;
    CHARS[1749] = -19;
    Arrays.fill(CHARS, 1750, 1765, (byte) -87); // Fill 15 of value (byte) -87
    Arrays.fill(CHARS, 1765, 1767, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 1767, 1769, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[1769] = 33;
    Arrays.fill(CHARS, 1770, 1774, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 1774, 1776, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 1776, 1786, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 1786, 2305, (byte) 33); // Fill 519 of value (byte) 33
    Arrays.fill(CHARS, 2305, 2308, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[2308] = 33;
    Arrays.fill(CHARS, 2309, 2362, (byte) -19); // Fill 53 of value (byte) -19
    Arrays.fill(CHARS, 2362, 2364, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[2364] = -87;
    CHARS[2365] = -19;
    Arrays.fill(CHARS, 2366, 2382, (byte) -87); // Fill 16 of value (byte) -87
    Arrays.fill(CHARS, 2382, 2385, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2385, 2389, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 2389, 2392, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2392, 2402, (byte) -19); // Fill 10 of value (byte) -19
    Arrays.fill(CHARS, 2402, 2404, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2404, 2406, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2406, 2416, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 2416, 2433, (byte) 33); // Fill 17 of value (byte) 33
    Arrays.fill(CHARS, 2433, 2436, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[2436] = 33;
    Arrays.fill(CHARS, 2437, 2445, (byte) -19); // Fill 8 of value (byte) -19
    Arrays.fill(CHARS, 2445, 2447, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2447, 2449, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2449, 2451, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2451, 2473, (byte) -19); // Fill 22 of value (byte) -19
    CHARS[2473] = 33;
    Arrays.fill(CHARS, 2474, 2481, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[2481] = 33;
    CHARS[2482] = -19;
    Arrays.fill(CHARS, 2483, 2486, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2486, 2490, (byte) -19); // Fill 4 of value (byte) -19
    Arrays.fill(CHARS, 2490, 2492, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[2492] = -87;
    CHARS[2493] = 33;
    Arrays.fill(CHARS, 2494, 2501, (byte) -87); // Fill 7 of value (byte) -87
    Arrays.fill(CHARS, 2501, 2503, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2503, 2505, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2505, 2507, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2507, 2510, (byte) -87); // Fill 3 of value (byte) -87
    Arrays.fill(CHARS, 2510, 2519, (byte) 33); // Fill 9 of value (byte) 33
    CHARS[2519] = -87;
    Arrays.fill(CHARS, 2520, 2524, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 2524, 2526, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2526] = 33;
    Arrays.fill(CHARS, 2527, 2530, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 2530, 2532, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2532, 2534, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2534, 2544, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 2544, 2546, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2546, 2562, (byte) 33); // Fill 16 of value (byte) 33
    CHARS[2562] = -87;
    Arrays.fill(CHARS, 2563, 2565, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2565, 2571, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 2571, 2575, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 2575, 2577, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2577, 2579, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2579, 2601, (byte) -19); // Fill 22 of value (byte) -19
    CHARS[2601] = 33;
    Arrays.fill(CHARS, 2602, 2609, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[2609] = 33;
    Arrays.fill(CHARS, 2610, 2612, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2612] = 33;
    Arrays.fill(CHARS, 2613, 2615, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2615] = 33;
    Arrays.fill(CHARS, 2616, 2618, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2618, 2620, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[2620] = -87;
    CHARS[2621] = 33;
    Arrays.fill(CHARS, 2622, 2627, (byte) -87); // Fill 5 of value (byte) -87
    Arrays.fill(CHARS, 2627, 2631, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 2631, 2633, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2633, 2635, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2635, 2638, (byte) -87); // Fill 3 of value (byte) -87
    Arrays.fill(CHARS, 2638, 2649, (byte) 33); // Fill 11 of value (byte) 33
    Arrays.fill(CHARS, 2649, 2653, (byte) -19); // Fill 4 of value (byte) -19
    CHARS[2653] = 33;
    CHARS[2654] = -19;
    Arrays.fill(CHARS, 2655, 2662, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 2662, 2674, (byte) -87); // Fill 12 of value (byte) -87
    Arrays.fill(CHARS, 2674, 2677, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 2677, 2689, (byte) 33); // Fill 12 of value (byte) 33
    Arrays.fill(CHARS, 2689, 2692, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[2692] = 33;
    Arrays.fill(CHARS, 2693, 2700, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[2700] = 33;
    CHARS[2701] = -19;
    CHARS[2702] = 33;
    Arrays.fill(CHARS, 2703, 2706, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[2706] = 33;
    Arrays.fill(CHARS, 2707, 2729, (byte) -19); // Fill 22 of value (byte) -19
    CHARS[2729] = 33;
    Arrays.fill(CHARS, 2730, 2737, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[2737] = 33;
    Arrays.fill(CHARS, 2738, 2740, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2740] = 33;
    Arrays.fill(CHARS, 2741, 2746, (byte) -19); // Fill 5 of value (byte) -19
    Arrays.fill(CHARS, 2746, 2748, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[2748] = -87;
    CHARS[2749] = -19;
    Arrays.fill(CHARS, 2750, 2758, (byte) -87); // Fill 8 of value (byte) -87
    CHARS[2758] = 33;
    Arrays.fill(CHARS, 2759, 2762, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[2762] = 33;
    Arrays.fill(CHARS, 2763, 2766, (byte) -87); // Fill 3 of value (byte) -87
    Arrays.fill(CHARS, 2766, 2784, (byte) 33); // Fill 18 of value (byte) 33
    CHARS[2784] = -19;
    Arrays.fill(CHARS, 2785, 2790, (byte) 33); // Fill 5 of value (byte) 33
    Arrays.fill(CHARS, 2790, 2800, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 2800, 2817, (byte) 33); // Fill 17 of value (byte) 33
    Arrays.fill(CHARS, 2817, 2820, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[2820] = 33;
    Arrays.fill(CHARS, 2821, 2829, (byte) -19); // Fill 8 of value (byte) -19
    Arrays.fill(CHARS, 2829, 2831, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2831, 2833, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2833, 2835, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2835, 2857, (byte) -19); // Fill 22 of value (byte) -19
    CHARS[2857] = 33;
    Arrays.fill(CHARS, 2858, 2865, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[2865] = 33;
    Arrays.fill(CHARS, 2866, 2868, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2868, 2870, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2870, 2874, (byte) -19); // Fill 4 of value (byte) -19
    Arrays.fill(CHARS, 2874, 2876, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[2876] = -87;
    CHARS[2877] = -19;
    Arrays.fill(CHARS, 2878, 2884, (byte) -87); // Fill 6 of value (byte) -87
    Arrays.fill(CHARS, 2884, 2887, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2887, 2889, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2889, 2891, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 2891, 2894, (byte) -87); // Fill 3 of value (byte) -87
    Arrays.fill(CHARS, 2894, 2902, (byte) 33); // Fill 8 of value (byte) 33
    Arrays.fill(CHARS, 2902, 2904, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 2904, 2908, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 2908, 2910, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2910] = 33;
    Arrays.fill(CHARS, 2911, 2914, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 2914, 2918, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 2918, 2928, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 2928, 2946, (byte) 33); // Fill 18 of value (byte) 33
    Arrays.fill(CHARS, 2946, 2948, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[2948] = 33;
    Arrays.fill(CHARS, 2949, 2955, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 2955, 2958, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2958, 2961, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[2961] = 33;
    Arrays.fill(CHARS, 2962, 2966, (byte) -19); // Fill 4 of value (byte) -19
    Arrays.fill(CHARS, 2966, 2969, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2969, 2971, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[2971] = 33;
    CHARS[2972] = -19;
    CHARS[2973] = 33;
    Arrays.fill(CHARS, 2974, 2976, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2976, 2979, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2979, 2981, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 2981, 2984, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2984, 2987, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 2987, 2990, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 2990, 2998, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[2998] = 33;
    Arrays.fill(CHARS, 2999, 3002, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 3002, 3006, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3006, 3011, (byte) -87); // Fill 5 of value (byte) -87
    Arrays.fill(CHARS, 3011, 3014, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 3014, 3017, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[3017] = 33;
    Arrays.fill(CHARS, 3018, 3022, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 3022, 3031, (byte) 33); // Fill 9 of value (byte) 33
    CHARS[3031] = -87;
    Arrays.fill(CHARS, 3032, 3047, (byte) 33); // Fill 15 of value (byte) 33
    Arrays.fill(CHARS, 3047, 3056, (byte) -87); // Fill 9 of value (byte) -87
    Arrays.fill(CHARS, 3056, 3073, (byte) 33); // Fill 17 of value (byte) 33
    Arrays.fill(CHARS, 3073, 3076, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[3076] = 33;
    Arrays.fill(CHARS, 3077, 3085, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[3085] = 33;
    Arrays.fill(CHARS, 3086, 3089, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[3089] = 33;
    Arrays.fill(CHARS, 3090, 3113, (byte) -19); // Fill 23 of value (byte) -19
    CHARS[3113] = 33;
    Arrays.fill(CHARS, 3114, 3124, (byte) -19); // Fill 10 of value (byte) -19
    CHARS[3124] = 33;
    Arrays.fill(CHARS, 3125, 3130, (byte) -19); // Fill 5 of value (byte) -19
    Arrays.fill(CHARS, 3130, 3134, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3134, 3141, (byte) -87); // Fill 7 of value (byte) -87
    CHARS[3141] = 33;
    Arrays.fill(CHARS, 3142, 3145, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[3145] = 33;
    Arrays.fill(CHARS, 3146, 3150, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 3150, 3157, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 3157, 3159, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 3159, 3168, (byte) 33); // Fill 9 of value (byte) 33
    Arrays.fill(CHARS, 3168, 3170, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 3170, 3174, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3174, 3184, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3184, 3202, (byte) 33); // Fill 18 of value (byte) 33
    Arrays.fill(CHARS, 3202, 3204, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[3204] = 33;
    Arrays.fill(CHARS, 3205, 3213, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[3213] = 33;
    Arrays.fill(CHARS, 3214, 3217, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[3217] = 33;
    Arrays.fill(CHARS, 3218, 3241, (byte) -19); // Fill 23 of value (byte) -19
    CHARS[3241] = 33;
    Arrays.fill(CHARS, 3242, 3252, (byte) -19); // Fill 10 of value (byte) -19
    CHARS[3252] = 33;
    Arrays.fill(CHARS, 3253, 3258, (byte) -19); // Fill 5 of value (byte) -19
    Arrays.fill(CHARS, 3258, 3262, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3262, 3269, (byte) -87); // Fill 7 of value (byte) -87
    CHARS[3269] = 33;
    Arrays.fill(CHARS, 3270, 3273, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[3273] = 33;
    Arrays.fill(CHARS, 3274, 3278, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 3278, 3285, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 3285, 3287, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 3287, 3294, (byte) 33); // Fill 7 of value (byte) 33
    CHARS[3294] = -19;
    CHARS[3295] = 33;
    Arrays.fill(CHARS, 3296, 3298, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 3298, 3302, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3302, 3312, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3312, 3330, (byte) 33); // Fill 18 of value (byte) 33
    Arrays.fill(CHARS, 3330, 3332, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[3332] = 33;
    Arrays.fill(CHARS, 3333, 3341, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[3341] = 33;
    Arrays.fill(CHARS, 3342, 3345, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[3345] = 33;
    Arrays.fill(CHARS, 3346, 3369, (byte) -19); // Fill 23 of value (byte) -19
    CHARS[3369] = 33;
    Arrays.fill(CHARS, 3370, 3386, (byte) -19); // Fill 16 of value (byte) -19
    Arrays.fill(CHARS, 3386, 3390, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3390, 3396, (byte) -87); // Fill 6 of value (byte) -87
    Arrays.fill(CHARS, 3396, 3398, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 3398, 3401, (byte) -87); // Fill 3 of value (byte) -87
    CHARS[3401] = 33;
    Arrays.fill(CHARS, 3402, 3406, (byte) -87); // Fill 4 of value (byte) -87
    Arrays.fill(CHARS, 3406, 3415, (byte) 33); // Fill 9 of value (byte) 33
    CHARS[3415] = -87;
    Arrays.fill(CHARS, 3416, 3424, (byte) 33); // Fill 8 of value (byte) 33
    Arrays.fill(CHARS, 3424, 3426, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 3426, 3430, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3430, 3440, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3440, 3585, (byte) 33); // Fill 145 of value (byte) 33
    Arrays.fill(CHARS, 3585, 3631, (byte) -19); // Fill 46 of value (byte) -19
    CHARS[3631] = 33;
    CHARS[3632] = -19;
    CHARS[3633] = -87;
    Arrays.fill(CHARS, 3634, 3636, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 3636, 3643, (byte) -87); // Fill 7 of value (byte) -87
    Arrays.fill(CHARS, 3643, 3648, (byte) 33); // Fill 5 of value (byte) 33
    Arrays.fill(CHARS, 3648, 3654, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 3654, 3663, (byte) -87); // Fill 9 of value (byte) -87
    CHARS[3663] = 33;
    Arrays.fill(CHARS, 3664, 3674, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3674, 3713, (byte) 33); // Fill 39 of value (byte) 33
    Arrays.fill(CHARS, 3713, 3715, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[3715] = 33;
    CHARS[3716] = -19;
    Arrays.fill(CHARS, 3717, 3719, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 3719, 3721, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[3721] = 33;
    CHARS[3722] = -19;
    Arrays.fill(CHARS, 3723, 3725, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[3725] = -19;
    Arrays.fill(CHARS, 3726, 3732, (byte) 33); // Fill 6 of value (byte) 33
    Arrays.fill(CHARS, 3732, 3736, (byte) -19); // Fill 4 of value (byte) -19
    CHARS[3736] = 33;
    Arrays.fill(CHARS, 3737, 3744, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[3744] = 33;
    Arrays.fill(CHARS, 3745, 3748, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[3748] = 33;
    CHARS[3749] = -19;
    CHARS[3750] = 33;
    CHARS[3751] = -19;
    Arrays.fill(CHARS, 3752, 3754, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 3754, 3756, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[3756] = 33;
    Arrays.fill(CHARS, 3757, 3759, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[3759] = 33;
    CHARS[3760] = -19;
    CHARS[3761] = -87;
    Arrays.fill(CHARS, 3762, 3764, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 3764, 3770, (byte) -87); // Fill 6 of value (byte) -87
    CHARS[3770] = 33;
    Arrays.fill(CHARS, 3771, 3773, (byte) -87); // Fill 2 of value (byte) -87
    CHARS[3773] = -19;
    Arrays.fill(CHARS, 3774, 3776, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 3776, 3781, (byte) -19); // Fill 5 of value (byte) -19
    CHARS[3781] = 33;
    CHARS[3782] = -87;
    CHARS[3783] = 33;
    Arrays.fill(CHARS, 3784, 3790, (byte) -87); // Fill 6 of value (byte) -87
    Arrays.fill(CHARS, 3790, 3792, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 3792, 3802, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3802, 3864, (byte) 33); // Fill 62 of value (byte) 33
    Arrays.fill(CHARS, 3864, 3866, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 3866, 3872, (byte) 33); // Fill 6 of value (byte) 33
    Arrays.fill(CHARS, 3872, 3882, (byte) -87); // Fill 10 of value (byte) -87
    Arrays.fill(CHARS, 3882, 3893, (byte) 33); // Fill 11 of value (byte) 33
    CHARS[3893] = -87;
    CHARS[3894] = 33;
    CHARS[3895] = -87;
    CHARS[3896] = 33;
    CHARS[3897] = -87;
    Arrays.fill(CHARS, 3898, 3902, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3902, 3904, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 3904, 3912, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[3912] = 33;
    Arrays.fill(CHARS, 3913, 3946, (byte) -19); // Fill 33 of value (byte) -19
    Arrays.fill(CHARS, 3946, 3953, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 3953, 3973, (byte) -87); // Fill 20 of value (byte) -87
    CHARS[3973] = 33;
    Arrays.fill(CHARS, 3974, 3980, (byte) -87); // Fill 6 of value (byte) -87
    Arrays.fill(CHARS, 3980, 3984, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 3984, 3990, (byte) -87); // Fill 6 of value (byte) -87
    CHARS[3990] = 33;
    CHARS[3991] = -87;
    CHARS[3992] = 33;
    Arrays.fill(CHARS, 3993, 4014, (byte) -87); // Fill 21 of value (byte) -87
    Arrays.fill(CHARS, 4014, 4017, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 4017, 4024, (byte) -87); // Fill 7 of value (byte) -87
    CHARS[4024] = 33;
    CHARS[4025] = -87;
    Arrays.fill(CHARS, 4026, 4256, (byte) 33); // Fill 230 of value (byte) 33
    Arrays.fill(CHARS, 4256, 4294, (byte) -19); // Fill 38 of value (byte) -19
    Arrays.fill(CHARS, 4294, 4304, (byte) 33); // Fill 10 of value (byte) 33
    Arrays.fill(CHARS, 4304, 4343, (byte) -19); // Fill 39 of value (byte) -19
    Arrays.fill(CHARS, 4343, 4352, (byte) 33); // Fill 9 of value (byte) 33
    CHARS[4352] = -19;
    CHARS[4353] = 33;
    Arrays.fill(CHARS, 4354, 4356, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[4356] = 33;
    Arrays.fill(CHARS, 4357, 4360, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[4360] = 33;
    CHARS[4361] = -19;
    CHARS[4362] = 33;
    Arrays.fill(CHARS, 4363, 4365, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[4365] = 33;
    Arrays.fill(CHARS, 4366, 4371, (byte) -19); // Fill 5 of value (byte) -19
    Arrays.fill(CHARS, 4371, 4412, (byte) 33); // Fill 41 of value (byte) 33
    CHARS[4412] = -19;
    CHARS[4413] = 33;
    CHARS[4414] = -19;
    CHARS[4415] = 33;
    CHARS[4416] = -19;
    Arrays.fill(CHARS, 4417, 4428, (byte) 33); // Fill 11 of value (byte) 33
    CHARS[4428] = -19;
    CHARS[4429] = 33;
    CHARS[4430] = -19;
    CHARS[4431] = 33;
    CHARS[4432] = -19;
    Arrays.fill(CHARS, 4433, 4436, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 4436, 4438, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 4438, 4441, (byte) 33); // Fill 3 of value (byte) 33
    CHARS[4441] = -19;
    Arrays.fill(CHARS, 4442, 4447, (byte) 33); // Fill 5 of value (byte) 33
    Arrays.fill(CHARS, 4447, 4450, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[4450] = 33;
    CHARS[4451] = -19;
    CHARS[4452] = 33;
    CHARS[4453] = -19;
    CHARS[4454] = 33;
    CHARS[4455] = -19;
    CHARS[4456] = 33;
    CHARS[4457] = -19;
    Arrays.fill(CHARS, 4458, 4461, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 4461, 4463, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 4463, 4466, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 4466, 4468, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[4468] = 33;
    CHARS[4469] = -19;
    Arrays.fill(CHARS, 4470, 4510, (byte) 33); // Fill 40 of value (byte) 33
    CHARS[4510] = -19;
    Arrays.fill(CHARS, 4511, 4520, (byte) 33); // Fill 9 of value (byte) 33
    CHARS[4520] = -19;
    Arrays.fill(CHARS, 4521, 4523, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[4523] = -19;
    Arrays.fill(CHARS, 4524, 4526, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 4526, 4528, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 4528, 4535, (byte) 33); // Fill 7 of value (byte) 33
    Arrays.fill(CHARS, 4535, 4537, (byte) -19); // Fill 2 of value (byte) -19
    CHARS[4537] = 33;
    CHARS[4538] = -19;
    CHARS[4539] = 33;
    Arrays.fill(CHARS, 4540, 4547, (byte) -19); // Fill 7 of value (byte) -19
    Arrays.fill(CHARS, 4547, 4587, (byte) 33); // Fill 40 of value (byte) 33
    CHARS[4587] = -19;
    Arrays.fill(CHARS, 4588, 4592, (byte) 33); // Fill 4 of value (byte) 33
    CHARS[4592] = -19;
    Arrays.fill(CHARS, 4593, 4601, (byte) 33); // Fill 8 of value (byte) 33
    CHARS[4601] = -19;
    Arrays.fill(CHARS, 4602, 7680, (byte) 33); // Fill 3078 of value (byte) 33
    Arrays.fill(CHARS, 7680, 7836, (byte) -19); // Fill 156 of value (byte) -19
    Arrays.fill(CHARS, 7836, 7840, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 7840, 7930, (byte) -19); // Fill 90 of value (byte) -19
    Arrays.fill(CHARS, 7930, 7936, (byte) 33); // Fill 6 of value (byte) 33
    Arrays.fill(CHARS, 7936, 7958, (byte) -19); // Fill 22 of value (byte) -19
    Arrays.fill(CHARS, 7958, 7960, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 7960, 7966, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 7966, 7968, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 7968, 8006, (byte) -19); // Fill 38 of value (byte) -19
    Arrays.fill(CHARS, 8006, 8008, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 8008, 8014, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 8014, 8016, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 8016, 8024, (byte) -19); // Fill 8 of value (byte) -19
    CHARS[8024] = 33;
    CHARS[8025] = -19;
    CHARS[8026] = 33;
    CHARS[8027] = -19;
    CHARS[8028] = 33;
    CHARS[8029] = -19;
    CHARS[8030] = 33;
    Arrays.fill(CHARS, 8031, 8062, (byte) -19); // Fill 31 of value (byte) -19
    Arrays.fill(CHARS, 8062, 8064, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 8064, 8117, (byte) -19); // Fill 53 of value (byte) -19
    CHARS[8117] = 33;
    Arrays.fill(CHARS, 8118, 8125, (byte) -19); // Fill 7 of value (byte) -19
    CHARS[8125] = 33;
    CHARS[8126] = -19;
    Arrays.fill(CHARS, 8127, 8130, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 8130, 8133, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[8133] = 33;
    Arrays.fill(CHARS, 8134, 8141, (byte) -19); // Fill 7 of value (byte) -19
    Arrays.fill(CHARS, 8141, 8144, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 8144, 8148, (byte) -19); // Fill 4 of value (byte) -19
    Arrays.fill(CHARS, 8148, 8150, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 8150, 8156, (byte) -19); // Fill 6 of value (byte) -19
    Arrays.fill(CHARS, 8156, 8160, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 8160, 8173, (byte) -19); // Fill 13 of value (byte) -19
    Arrays.fill(CHARS, 8173, 8178, (byte) 33); // Fill 5 of value (byte) 33
    Arrays.fill(CHARS, 8178, 8181, (byte) -19); // Fill 3 of value (byte) -19
    CHARS[8181] = 33;
    Arrays.fill(CHARS, 8182, 8189, (byte) -19); // Fill 7 of value (byte) -19
    Arrays.fill(CHARS, 8189, 8400, (byte) 33); // Fill 211 of value (byte) 33
    Arrays.fill(CHARS, 8400, 8413, (byte) -87); // Fill 13 of value (byte) -87
    Arrays.fill(CHARS, 8413, 8417, (byte) 33); // Fill 4 of value (byte) 33
    CHARS[8417] = -87;
    Arrays.fill(CHARS, 8418, 8486, (byte) 33); // Fill 68 of value (byte) 33
    CHARS[8486] = -19;
    Arrays.fill(CHARS, 8487, 8490, (byte) 33); // Fill 3 of value (byte) 33
    Arrays.fill(CHARS, 8490, 8492, (byte) -19); // Fill 2 of value (byte) -19
    Arrays.fill(CHARS, 8492, 8494, (byte) 33); // Fill 2 of value (byte) 33
    CHARS[8494] = -19;
    Arrays.fill(CHARS, 8495, 8576, (byte) 33); // Fill 81 of value (byte) 33
    Arrays.fill(CHARS, 8576, 8579, (byte) -19); // Fill 3 of value (byte) -19
    Arrays.fill(CHARS, 8579, 12293, (byte) 33); // Fill 3714 of value (byte) 33
    CHARS[12293] = -87;
    CHARS[12294] = 33;
    CHARS[12295] = -19;
    Arrays.fill(CHARS, 12296, 12321, (byte) 33); // Fill 25 of value (byte) 33
    Arrays.fill(CHARS, 12321, 12330, (byte) -19); // Fill 9 of value (byte) -19
    Arrays.fill(CHARS, 12330, 12336, (byte) -87); // Fill 6 of value (byte) -87
    CHARS[12336] = 33;
    Arrays.fill(CHARS, 12337, 12342, (byte) -87); // Fill 5 of value (byte) -87
    Arrays.fill(CHARS, 12342, 12353, (byte) 33); // Fill 11 of value (byte) 33
    Arrays.fill(CHARS, 12353, 12437, (byte) -19); // Fill 84 of value (byte) -19
    Arrays.fill(CHARS, 12437, 12441, (byte) 33); // Fill 4 of value (byte) 33
    Arrays.fill(CHARS, 12441, 12443, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 12443, 12445, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 12445, 12447, (byte) -87); // Fill 2 of value (byte) -87
    Arrays.fill(CHARS, 12447, 12449, (byte) 33); // Fill 2 of value (byte) 33
    Arrays.fill(CHARS, 12449, 12539, (byte) -19); // Fill 90 of value (byte) -19
    CHARS[12539] = 33;
    Arrays.fill(CHARS, 12540, 12543, (byte) -87); // Fill 3 of value (byte) -87
    Arrays.fill(CHARS, 12543, 12549, (byte) 33); // Fill 6 of value (byte) 33
    Arrays.fill(CHARS, 12549, 12589, (byte) -19); // Fill 40 of value (byte) -19
    Arrays.fill(CHARS, 12589, 19968, (byte) 33); // Fill 7379 of value (byte) 33
    Arrays.fill(CHARS, 19968, 40870, (byte) -19); // Fill 20902 of value (byte) -19
    Arrays.fill(CHARS, 40870, 44032, (byte) 33); // Fill 3162 of value (byte) 33
    Arrays.fill(CHARS, 44032, 55204, (byte) -19); // Fill 11172 of value (byte) -19
    Arrays.fill(CHARS, 55204, 55296, (byte) 33); // Fill 92 of value (byte) 33
    Arrays.fill(CHARS, 57344, 65534, (byte) 33); // Fill 8190 of value (byte) 33
  }

  @Override
  public boolean isValidName(String name) {
    var length = name.length();
    if (length == 0) return false;

    if (!isNameStart(name.charAt(0))) return false;

    for (var i = 1; i < length; ++i) {
      if (!isName(name.charAt(i))) return false;
    }

    return true;
  }

  private static boolean isNameStart(int c) {
    return c < 0x10000 && (CHARS[c] & MASK_NAME_START) != 0;
  }

  private static boolean isName(int c) {
    return c < 0x10000 && (CHARS[c] & MASK_NAME) != 0;
  }
}
